Journal of Mathematical Logic - PDFSEARCH.IO - Document Search Engine

Journal of Mathematical Logic
Results: 125

#	Item
21	Journal of Universal Computer Science, vol. 11, no), submitted: , accepted: 4/6/05, appeared: © J.UCS Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Mod Add to Reading List Source URL: jucs.org Language: English - Date: 2006-11-02 05:53:39 Rebec FO Mathematical logic Mathematics Boolean algebra Theoretical computer science Boolean data type
22	Publication list of Marc Bezem Journal articles [1] M.A. Bezem. Isomorphisms between HEO and HROE , ECF and ICFE . Journal of Symbolic Logic 50:359–371, M.A. Bezem. Strongly majorizable functionals of finite Add to Reading List Source URL: www.ii.uib.no Language: English - Date: 2013-10-30 09:43:20 Formal languages Applied mathematics Dependently typed programming Type theory Mathematical logic Rewriting Abstract rewriting system Logic Curry–Howard correspondence Theoretical computer science Logic in computer science Mathematics
23	Journal of Artificial Intelligence Research533 Submitted 12/13; publishedImproving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions Add to Reading List Source URL: jair.org Language: English - Date: 2014-06-30 19:43:41 Problem solving Admissible heuristic Mathematical optimization Fluent Innovation Science Applied mathematics Heuristics Logic in computer science Artificial intelligence
24	This is a revised and extended version for journal publication of a paper in Proceedings, International Symposium on Multimedia Software Engineering, ed. Jeffrey Tsai and Po-Jen Chuang, IEEE Press, pages 25–32, 2000; t Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2002-05-15 22:05:35 Automated theorem proving Mathematical logic Formal methods Logical truth Mathematical proof Proof assistant Formal proof Proof Theorem Logic Mathematics Proof theory
25	Journal of Artificial Intelligence Research–567 Submitted 09/08; publishedAn Anytime Algorithm for Optimal Coalition Structure Generation Talal Rahwan Add to Reading List Source URL: jair.org Language: English - Date: 2009-04-21 14:18:39 Applied mathematics Numerical analysis Search algorithms Combinatorial optimization Algorithm Mathematical logic Genetic algorithm Dynamic programming Anytime algorithm Mathematical optimization Operations research Mathematics
26	European Journal of Personality Eur. J. Pers. 18: 177–Published online in Wiley InterScience (www.interscience.wiley.com). DOI: per.509 Combining Social Axioms with Values in Predicting Social Behavi Add to Reading List Source URL: www.psy.cuhk.edu.hk Language: English - Date: 2012-06-12 00:01:56 Axiom Complexity Conflict resolution Self-enhancement Mathematical logic Science Behavior Mind
27	Journal of Experimental & Theoretical Artificial Intelligence, Vol. 17, No. 3, September 2005, 305–315 Book review Where mathematics comes from: how the embodied mind brings mathematics into Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2006-05-25 12:22:34 Mathematical logic Elementary mathematics Epistemology Where Mathematics Comes From Foundations of mathematics Number 0.999... Constructivism Real number Mathematics Philosophy of mathematics Cognitive science
28	Journal of Artificial Intelligence Research304 Submitted 7/10; published 1/11 Iterated Belief Change Due to Actions and Observations Aaron Hunter Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:29:00 Philosophy of language Belief revision Knowledge representation Logic programming Mathematical logic Litmus Belief Epistemology Interpretation Logic Science Ethology
29	Journal of Logic & Analysis 5:–22 ISSNSolving the Dirichlet problem constructively Add to Reading List Source URL: ir.canterbury.ac.nz Language: English - Date: 2014-04-17 08:33:21 Operator theory Ordinal number Series Hilbert space Partial differential equations Constructible universe Sobolev space Congruence lattice problem Mathematical analysis Mathematics Algebra
30	BACnet Today & the Smart Grid This article was published in ASHRAE Journal, NovemberCopyright 2011 American Society of Heating, Refrigerating and Air-Conditioning Engineers, Inc. Posted at www.ashrae.org. This art Add to Reading List Source URL: www.bacnet.org Language: English - Date: 2011-11-09 10:36:22 BACnet Communication Automated Logic Corporation Mathematical analysis Heating ventilating and air conditioning Alerton Workstation X Window System American Society of Heating Refrigerating and Air-Conditioning Engineers Building automation Software Computing

UPDATE